


#include "copy.h"

#include <kernel/kernel.h>


void rawcopy (void *_dest, void *_src, size _sz)
{
	index i;

	for (i = 0; i < _sz; ++i)
	{
		((char *) _dest) [i] = ((char *) _src) [i];
	}
}


